A Petri net Graphic Method of Reduction Using Birth-death Processes

Stochastic Petri nets are powerful tool for performance evaluation of concurrent systems like parallel computing, communication network and production systems. In many practical applications, performance evaluation using this model is very difficult because of the great dimension of the marking space. In this paper, we present a new graphical method for the reduction of stochastic Petri nets, applied for safe production system modeling. The approach is based on the principle of places interactivity in the model, function of transition firing rates. The reduction of the Petri net is applied directly on the graphical model after a simple analysis of places efficiency by using mathematical techniques of birth-death processes. Thus, the problem of the model dimension is solved since our method is independent of the marking graph.